An overview of Australia’s Phytophthora species assemblage in natural ecosystems recovered from a survey in Victoria

Although Phytophthora species cause serious diseases worldwide, until recently the main focus on disease in natural ecosystems in southern Australia has been on the distribution and impact of P. cinnamomi. However, new Phytophthora pathogens have emerged from natural ecosystems, and there is a need to better understand the diversity and distribution of these species in our natural forests, woodlands and heathlands. From a survey along a 70 km pipeline easement in Victoria, Phytophthora species were isolated from 249 rhizosphere samples and 25 bait bags deployed in 21 stream, river, or wetland locations. Of the 186 Phytophthora isolates recovered, 130 were identified to species based on ITS sequence data. Ninety-five isolates corresponded to 13 described Phytophthora species while additionally 35 isolates were identified as Clade 6 hybrids. Phytophthora cinnamomi was the most common species isolated (31 %), followed by P. elongata (6 %), both species were only recovered from soil. Samples from sites with the highest soil moisture at the time of sampling had the highest yield of isolates. Consistent with other studies throughout the world, Clade 6 species and their hybrids dominated water samples, although many of these species were also recovered less frequently from soil samples. Many of the species recovered in this study have not previously been reported from eastern Australia, reinforcing that Phytophthora species are widespread, abundant and diverse in natural ecosystems. We have probably been underestimating Phytophthora diversity in Australia

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method

Partial derivative automata formalized in Coq

In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a for- malization of Kleene algebra and regular languages in Coq towards their usage in program certification.Fundação para a Ciência e Tecnologia (FCT) Program POSI, RESCUE (PTDC/EIA/65862/2006), SFRH/BD/33233/2007

Some general properties of the renormalized stress-energy tensor for static quantum states on (n+1)-dimensional spherically symmetric black holes

We study the renormalized stress-energy tensor (RSET) for static quantum states on (n+1)-dimensional, static, spherically symmetric black holes. By solving the conservation equations, we are able to write the stress-energy tensor in terms of a single unknown function of the radial co-ordinate, plus two arbitrary constants. Conditions for the stress-energy tensor to be regular at event horizons (including the extremal and ``ultra-extremal'' cases) are then derived using generalized Kruskal-like co-ordinates. These results should be useful for future calculations of the RSET for static quantum states on spherically symmetric black hole geometries in any number of space-time dimensions.Comment: 9 pages, no figures, RevTeX4, references added, accepted for publication in General Relativity and Gravitatio

Reaction rate for two--neutron capture by 4^4He

Recent investigations suggest that the neutrino--heated hot bubble between the nascent neutron star and the overlying stellar mantle of a type--II supernova may be the site of the r--process. In the preceding $\alpha$--process building up the elements to $A \approx 100$, the $^4$He(2n,$\gamma$)$^6$He-- and $^6$He($\alpha$,n)$^9$Be--reactions bridging the instability gap at $A=5$ and $A=8$ could be of relevance. We suggest a mechanism for $^4$He(2n,$\gamma$)$^6$He and calculate the reaction rate within the $\alpha$+n+n approach. The value obtained is about a factor 1.6 smaller than the one obtained recently in the simpler direct--capture model, but is at least three order of magnitude enhanced compared to the previously adopted value. Our calculation confirms the result of the direct--capture calculation that under representative conditions in the $\alpha$--process the reaction path proceeding through $^6$He is negligible compared to $^4$He($\alpha$n,$\gamma$)$^9$Be.Comment: 13 pages, 4 postscript figures, to appear in "Zeitschrift f. Physik A", changed internet address and filename, the uuencoded postscript file including the figures is available at ftp://is1.kph.tuwien.ac.at/pub/ohu/twoneutron.u

Method to compute the stress-energy tensor for the massless spin 1/2 field in a general static spherically symmetric spacetime

A method for computing the stress-energy tensor for the quantized, massless, spin 1/2 field in a general static spherically symmetric spacetime is presented. The field can be in a zero temperature state or a non-zero temperature thermal state. An expression for the full renormalized stress-energy tensor is derived. It consists of a sum of two tensors both of which are conserved. One tensor is written in terms of the modes of the quantized field and has zero trace. In most cases it must be computed numerically. The other tensor does not explicitly depend on the modes and has a trace equal to the trace anomaly. It can be used as an analytic approximation for the stress-energy tensor and is equivalent to other approximations that have been made for the stress-energy tensor of the massless spin 1/2 field in static spherically symmetric spacetimes.Comment: 34 pages, no figure

An analysis of the FIR/RADIO Continuum Correlation in the Small Magellanic Cloud

The local correlation between far-infrared (FIR) emission and radio-continuum (RC) emission for the Small Magellanic Cloud (SMC) is investigated over scales from 3 kpc to 0.01 kpc. Here, we report good FIR/RC correlation down to ~15 pc. The reciprocal slope of the FIR/RC emission correlation (RC/FIR) in the SMC is shown to be greatest in the most active star forming regions with a power law slope of ~1.14 indicating that the RC emission increases faster than the FIR emission. The slope of the other regions and the SMC are much flatter and in the range of 0.63-0.85. The slopes tend to follow the thermal fractions of the regions which range from 0.5 to 0.95. The thermal fraction of the RC emission alone can provide the expected FIR/RC correlation. The results are consistent with a common source for ultraviolet (UV) photons heating dust and Cosmic Ray electrons (CRe-s) diffusing away from the star forming regions. Since the CRe-s appear to escape the SMC so readily, the results here may not provide support for coupling between the local gas density and the magnetic field intensity.Comment: 19 pages, 7 Figure